Module containment property for linear equations

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Containment Problem for Linear Sets

It is well known that the containment problem (as well as the equivalence problem) for semilinear sets is log-complete in Πp2. In this paper, we show that already the containment problem for linear sets is log-hard (and therefore also log-complete) in Πp2. This holds even when we use a unary encoding for the numerical input parameters or when we restrict the problem to 1-dimensional linear sets...

متن کامل

Modified homotopy perturbation method for solving non-linear oscillator's ‎equations

In this paper a new form of the homptopy perturbation method is used for solving oscillator differential equation, which yields the Maclaurin series of the exact solution. Nonlinear vibration problems and differential equation oscillations have crucial importance in all areas of science and engineering. These equations equip a significant mathematical model for dynamical systems. The accuracy o...

متن کامل

‎A matrix LSQR algorithm for solving constrained linear operator equations

In this work‎, ‎an iterative method based on a matrix form of LSQR algorithm is constructed for solving the linear operator equation $mathcal{A}(X)=B$‎ ‎and the minimum Frobenius norm residual problem $||mathcal{A}(X)-B||_F$‎ ‎where $Xin mathcal{S}:={Xin textsf{R}^{ntimes n}~|~X=mathcal{G}(X)}$‎, ‎$mathcal{F}$ is the linear operator from $textsf{R}^{ntimes n}$ onto $textsf{R}^{rtimes s}$‎, ‎$ma...

متن کامل

Bifurcation Problem for Biharmonic Asymptotically Linear Elliptic Equations

In this paper, we investigate the existence of positive solutions for the ellipticequation $Delta^{2},u+c(x)u = lambda f(u)$ on a bounded smooth domain $Omega$ of $R^{n}$, $ngeq2$, with Navier boundary conditions. We show that there exists an extremal parameter$lambda^{ast}>0$ such that for $lambda< lambda^{ast}$, the above problem has a regular solution butfor $lambda> lambda^{ast}$, the probl...

متن کامل

A Parallel Hierarchical Algorithm for Module Placement Based on Sparse Linear Equations

We present a fast and eeective module placement algorithm which is based on the PROUD algorithm. The PROUD algorithm uses a hierarchical decomposition technique and the solution of sparse linear systems of equations based on a resistive network analogy. It has been shown that the PROUD algorithm is suitable for solving the placement problem for very large circuits , and obtains placement qualit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Differential Equations

سال: 2008

ISSN: 0022-0396

DOI: 10.1016/j.jde.2007.10.006